$\forall$$R$:Realizer, $i$:Id. R{-}has{-}loc($R$;$i$) $\in$ $\mathbb{B}$